A_n is simple for n at least 5